$\forall$$p$,$q$:($n$:$\mathbb{Z}$ $\times$ base{-}domain{-}type($n$)). eq\_bd($p$; $q$) $\in$ $\mathbb{B}$